Action, Time and Space in Description Logics

Description Logics (DLs) are a family of logic-based knowledge representation (KR) formalisms designed to represent and reason about static conceptual knowledge in a semantically well-understood way. On the other hand, standard action formalisms are KR formalisms based on classical logic designed to model and reason about dynamic systems. The largest part of the present work is dedicated to integrating DLs with action formalisms, with the main goal of obtaining decidable action formalisms with an expressiveness significantly beyond propositional. To this end, we offer DL-tailored solutions to the frame and ramification problem. One of the main technical results is that standard reasoning problems about actions (executability and projection), as well as the plan existence problem are decidable if one restricts the logic for describing action pre- and post-conditions and the state of the world to decidable Description Logics. A smaller part of the work is related to decidable extensions of Description Logics with concrete datatypes, most importantly with those allowing to refer to the notions of space and time

Normotensive rats with PCOS exhibit the hypertensive pattern: focus on oxidative stress

Numerous evidence implies complex interrelations between polycystic ovary syndrome (PCOS) and hypertension (HT) in reproductive-age women. In this study, we aimed to investigate the potential strain differences in ovarian morphology, hemodynamic, and biochemical characteristics in an androgen-induced PCOS rat model. A total of 24 rats of 3 weeks old (12 Wistar Kyoto - WK and 12 spontaneously hypertensive rats - SHR) were divided into four groups: WK, WK PCOS, SHR, and SHR PCOS. PCOS was induced by daily s.c. injections of testosterone enanthate (1 mg/100 g body weight) administered for 5 weeks. PCOS induction led to estrus cyclicity cessation, cystic ovarian appearance, and sex hormones disturbances in both strains. The morphometric parameters in ovaries were altered in a manner of PCOS-related changes in both strains (higher number in preantral, atretic, and cystic follicles). Ultrasonographically, a significant decrease in ovarian volume (OV) was registered in PCOS groups but also in SHR compared to WK rats. All blood pressure parameters were higher in SHR compared to WK. PCOS modeling increased systolic, mean arterial, and pulse pressure in WK strain, while in SHR, only mean arterial and pulse pressure were higher. Alterations in oxidative stress parameters could provide a molecular basis for PCOS-related changes: in PCOS groups, thiobarbituric acid reactive substance and superoxide anion radical levels were higher in both strains, while superoxide dismutase and glutathione were significantly lowered

Action, Time and Space in Description Logics

Description Logics (DLs) are a family of logic-based knowledge representation (KR) formalisms designed to represent and reason about static conceptual knowledge in a semantically well-understood way. On the other hand, standard action formalisms are KR formalisms based on classical logic designed to model and reason about dynamic systems. The largest part of the present work is dedicated to integrating DLs with action formalisms, with the main goal of obtaining decidable action formalisms with an expressiveness significantly beyond propositional. To this end, we offer DL-tailored solutions to the frame and ramification problem. One of the main technical results is that standard reasoning problems about actions (executability and projection), as well as the plan existence problem are decidable if one restricts the logic for describing action pre- and post-conditions and the state of the world to decidable Description Logics. A smaller part of the work is related to decidable extensions of Description Logics with concrete datatypes, most importantly with those allowing to refer to the notions of space and time

Action, Time and Space in Description Logics

Description Logics (DLs) are a family of logic-based knowledge representation (KR) formalisms designed to represent and reason about static conceptual knowledge in a semantically well-understood way. On the other hand, standard action formalisms are KR formalisms based on classical logic designed to model and reason about dynamic systems. The largest part of the present work is dedicated to integrating DLs with action formalisms, with the main goal of obtaining decidable action formalisms with an expressiveness significantly beyond propositional. To this end, we offer DL-tailored solutions to the frame and ramification problem. One of the main technical results is that standard reasoning problems about actions (executability and projection), as well as the plan existence problem are decidable if one restricts the logic for describing action pre- and post-conditions and the state of the world to decidable Description Logics. A smaller part of the work is related to decidable extensions of Description Logics with concrete datatypes, most importantly with those allowing to refer to the notions of space and time

Results of the Croatian primary percutaneous coronary intervention network for patients with ST-segment elevation acute myocardial infarction

The Republic of Croatia, with a gross domestic product per capita of US$11,554 in 2008, is an economically less-developed Western country. The goal of the present investigation was to prove that a well-organized primary percutaneous coronary intervention network in an economically less-developed country equalizes the prospects of all patients with acute ST-segment elevation myocardial infarction at a level comparable to that of more economically developed countries. We prospectively investigated 1,190 patients with acute ST-segment elevation myocardial infarction treated with primary PCI in 8 centers across Croatia (677 nontransferred and 513 transferred). The postprocedural Thrombolysis In Myocardial Infarction flow, in-hospital mortality, and incidence of major adverse cardiovascular events (ie, mortality, pectoral angina, restenosis, reinfarction, coronary artery bypass graft, and cerebrovascular accident rate) during 6 months of follow-up were compared between the nontransferred and transferred subgroups and in the subgroups of older patients, women, and those with cardiogenic shock. In all investigated patients, the average door-to-balloon time was 108 minutes, and the total ischemic time was 265 minutes. Postprocedural Thrombolysis In Myocardial Infarction 3 flow was established in 87.1% of the patients, and the in-hospital mortality rate was 4.4%. No statistically significant difference was found in the results of treatment between the transferred and nontransferred patients overall or in the subgroups of patients >75 years, women, and those with cardiogenic shock. In conclusion, the Croatian Primary Percutaneous Coronary Intervention Network has ensured treatment results of acute ST-segment elevation myocardial infarction comparable to those of randomized studies and registries of more economically developed countries

The shape of the aortic outflow velocity profile revisited: is there a relation between its asymmetry and ventricular function in coronary artery disease?

Aims Myocardium contracts in the beginning of ejection causing outflow acceleration, resulting in asymmetric outflow velocity profiles peaking around one-third of ejection and declining when force development declines. This article aimed to demonstrate that decreased contractility in coronary artery disease (CAD) changes outflow timing and profile symmetry. Methods and results Seventy-nine patients undergoing routine full dose dobutamine stress-echo (DSE) were divided into two groups based on resting wall motion and DSE response: DSE negative (DSE neg ) (35 of 79 patients) and positive (DSE pos ) (44 of 79 patients) which were compared with 32 healthy volunteers. Aortic CW-Doppler traces at rest were analysed semi-automatically; time-to-peak (T mod ), ejection-time (ET mod ), rise-time (t rise ), and fall-time (t fall ) were quantified. Asymmetry (asymm) was calculated as the normalized difference of left and right half of the spectrum. Normal curves were triangular, early-peaking, whereas patients showed more rounded shapes and later peaks. T rise was longest in DSE pos . T fall was shortest in DSE pos , followed by controls and DSE neg . Asymm was lowest in DSE pos , followed by controls and DSE neg . Abnormally symmetric profiles (asymm ,0.25) were found in none of the controls, 2.9% DSE neg , and 27.3% DSE pos . A good correlation was found between assym and ejection fraction (EF) and T mod /ET mod and EF. Notably, an LV dynamic gradient was induced in 71.4% DSE neg and in 18.2% DSE pos , associated with LV hypertrophy and supernormal (very asymmetric) traces. Conclusion Decreased myocardial function results in a more symmetrical outflow, while very asymmetrical traces suggest increased contractility, potentially inducing intra-cavity gradients during DSE. Therefore, including outflow symmetry as a clinical measurement provides additional information on patients with CAD

FP6-7603 – TONES Thinking ONtologiES WP4

FP6-7603 – TONES Thinking ONtologiES WP4 This report summarizes the reasoning techniques and algorithms developed in the TONES project that realize the reasoning services identified as fundamental for ontology-based access, processing, and usage. In addition to a detailed presentation of the algorithms, we report on their computational properties and investigate solutions for the expressivity and data scalability problems. c○2007/TONES – July, 2007 2/143 TONES-D18 – v.1.